You have chosen fragments/reports, Gentzen's Analysis of First-Order Proofs and Gentzen's Analysis of First-Order Proofs.
All three must be different; choose another text.